A expressão de busca foi <related:sid.inpe.br/mtc-m21b/2017/11.08.14.47.59-0:en:title:2:statecharts based specification checking:statecharts model checking hierarchy based translation specification patterns properties generate test cases:>.
1 referência similar encontrada (inclusive a original) buscando em 17 dentre 17 Arquivos. Data e hora local de busca: 27/04/2024 03:23. |
Santiago Júnior, V. A.; Silva, F. E. C. Artigo em Evento - sem Qualis - 2017 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00 | |